<html>
<head><meta charset="utf-8"><title>I-prioritize #79251 ICE when using const_evaluatable_checked · t-compiler/wg-prioritization/alerts · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/index.html">t-compiler/wg-prioritization/alerts</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379251.20ICE.20when.20using.20const_evaluatable_checked.html">I-prioritize #79251 ICE when using const_evaluatable_checked</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="217825961"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379251%20ICE%20when%20using%20const_evaluatable_checked/near/217825961" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379251.20ICE.20when.20using.20const_evaluatable_checked.html#217825961">(Nov 24 2020 at 23:10)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="3111">@WG-prioritization/alerts</span> issue <a href="https://github.com/rust-lang/rust/issues/79251">#79251</a> has been requested for prioritization.</p>
<h1><a href="https://forge.rust-lang.org/compiler/prioritization/procedure.html#assign-priority-to-unprioritized-issues-with-i-prioritize-label">Procedure</a></h1>
<ul>
<li>Priority?</li>
<li>Regression?</li>
<li>Notify people/groups?</li>
<li>Needs <code>I-nominated</code>?</li>
</ul>



<a name="217826023"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379251%20ICE%20when%20using%20const_evaluatable_checked/near/217826023" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379251.20ICE.20when.20using.20const_evaluatable_checked.html#217826023">(Nov 24 2020 at 23:10)</a>:</h4>
<p>I know this is a nightly feature, but the bug disappears when incremental is turned off. Seems like there's a incr-comp bug somewhere as part of this?</p>



<a name="217826799"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379251%20ICE%20when%20using%20const_evaluatable_checked/near/217826799" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379251.20ICE.20when.20using.20const_evaluatable_checked.html#217826799">(Nov 24 2020 at 23:19)</a>:</h4>
<p>Indeed, the ICE occurs in the incr-comp hash (ICH) code.</p>



<a name="217859608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379251%20ICE%20when%20using%20const_evaluatable_checked/near/217859608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379251.20ICE.20when.20using.20const_evaluatable_checked.html#217859608">(Nov 25 2020 at 09:10)</a>:</h4>
<p>i expect this bug to happen when hashing a <code>ConstEvaluatable</code> predicate</p>



<a name="217859631"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379251%20ICE%20when%20using%20const_evaluatable_checked/near/217859631" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379251.20ICE.20when.20using.20const_evaluatable_checked.html#217859631">(Nov 25 2020 at 09:10)</a>:</h4>
<p>which only happens with <code>const_evaluatable_checked</code></p>



<a name="217859645"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379251%20ICE%20when%20using%20const_evaluatable_checked/near/217859645" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379251.20ICE.20when.20using.20const_evaluatable_checked.html#217859645">(Nov 25 2020 at 09:11)</a>:</h4>
<p>I do not think that this can leak onto stable</p>



<a name="217897659"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379251%20ICE%20when%20using%20const_evaluatable_checked/near/217897659" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379251.20ICE.20when.20using.20const_evaluatable_checked.html#217897659">(Nov 25 2020 at 15:19)</a>:</h4>
<p>so this is an incr-comp bug?</p>



<a name="217897667"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379251%20ICE%20when%20using%20const_evaluatable_checked/near/217897667" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379251.20ICE.20when.20using.20const_evaluatable_checked.html#217897667">(Nov 25 2020 at 15:19)</a>:</h4>
<p>we should maybe tag it like that</p>



<a name="217897733"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379251%20ICE%20when%20using%20const_evaluatable_checked/near/217897733" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379251.20ICE.20when.20using.20const_evaluatable_checked.html#217897733">(Nov 25 2020 at 15:20)</a>:</h4>
<p>ahh it's already done</p>



<a name="217898964"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379251%20ICE%20when%20using%20const_evaluatable_checked/near/217898964" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379251.20ICE.20when.20using.20const_evaluatable_checked.html#217898964">(Nov 25 2020 at 15:29)</a>:</h4>
<p>I think I'd remove <code>I-prioritize</code> for this one</p>



<a name="217898979"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379251%20ICE%20when%20using%20const_evaluatable_checked/near/217898979" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379251.20ICE.20when.20using.20const_evaluatable_checked.html#217898979">(Nov 25 2020 at 15:29)</a>:</h4>
<p>and leave it up for the incr wg</p>



<a name="217925121"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379251%20ICE%20when%20using%20const_evaluatable_checked/near/217925121" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379251.20ICE.20when.20using.20const_evaluatable_checked.html#217925121">(Nov 25 2020 at 18:58)</a>:</h4>
<p><span class="user-mention silent" data-user-id="216206">lcnr</span> <a href="#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts/topic/I-prioritize.20.2379251.20ICE.20when.20using.20const_evaluatable_checked/near/217859645">said</a>:</p>
<blockquote>
<p>I do not think that this can leak onto stable</p>
</blockquote>
<p>Okay, in that case I'll remove <code>I-prioritize</code>.</p>



<a name="217925137"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2379251%20ICE%20when%20using%20const_evaluatable_checked/near/217925137" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2379251.20ICE.20when.20using.20const_evaluatable_checked.html#217925137">(Nov 25 2020 at 18:58)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/79251">#79251</a>'s prioritization request has been removed.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>